//
//  attributes.h
//  LTLBMC
//
//  Created by GD Huang on 5/17/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef LTLBMC_attributes_h
#define LTLBMC_attributes_h

#include <vector>
#include "attrparam.h"
#include "OCamlObject.h"


namespace cilast {
    
    class attrparam;

    
    class attribute : public OCamlObject {
    public:
        char* name;
        std::vector<attrparam*> params;
    };
}

#endif
